<html>
<head><meta charset="utf-8"><title>meeting 2021-06-29 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html">meeting 2021-06-29</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="244338083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338083">(Jun 29 2021 at 19:56)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> <br>
Meeting today? Who's around?</p>



<a name="244338135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338135">(Jun 29 2021 at 19:57)</a>:</h4>
<p>I'm here</p>



<a name="244338143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338143">(Jun 29 2021 at 19:57)</a>:</h4>
<p>I had thought I might use this time to poke at a few things and play a bit of catchup</p>



<a name="244338178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338178">(Jun 29 2021 at 19:57)</a>:</h4>
<p>Not a terrible idea</p>



<a name="244338273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338273">(Jun 29 2021 at 19:58)</a>:</h4>
<p>Still want some feedback on <a href="https://github.com/rust-lang/rust/issues/86435">#86435</a></p>



<a name="244338368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338368">(Jun 29 2021 at 19:58)</a>:</h4>
<p>yes</p>



<a name="244338371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338371">(Jun 29 2021 at 19:58)</a>:</h4>
<p>And review of <a href="https://github.com/rust-lang/rust/issues/85499">#85499</a> :P (though we probably want for crater to finish first, and I need to look into <a href="https://github.com/rust-lang/rust/pull/85499#issuecomment-870183541">https://github.com/rust-lang/rust/pull/85499#issuecomment-870183541</a>)</p>



<a name="244338414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338414">(Jun 29 2021 at 19:59)</a>:</h4>
<p>ok, let's put a little niko "to do" list :)</p>



<a name="244338442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338442">(Jun 29 2021 at 19:59)</a>:</h4>
<p>:)</p>



<a name="244338526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338526">(Jun 29 2021 at 20:00)</a>:</h4>
<p>I'm wondering if someone can summarize current status of <code>min_type_alias_impl_trait</code>?</p>



<a name="244338565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338565">(Jun 29 2021 at 20:00)</a>:</h4>
<p>Haven't really caught up</p>



<a name="244338579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338579">(Jun 29 2021 at 20:00)</a>:</h4>
<p>Ah, well, the project board is mostly up to date</p>



<a name="244338612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338612">(Jun 29 2021 at 20:00)</a>:</h4>
<p><a href="https://github.com/rust-lang/wg-traits/projects/4">https://github.com/rust-lang/wg-traits/projects/4</a></p>



<a name="244338625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338625">(Jun 29 2021 at 20:00)</a>:</h4>
<p>let me take a look, maybe something is missing</p>



<a name="244338633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338633">(Jun 29 2021 at 20:00)</a>:</h4>
<p>ah right, that exists</p>



<a name="244338713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338713">(Jun 29 2021 at 20:01)</a>:</h4>
<p>I was thinking about next steps</p>



<a name="244338718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338718">(Jun 29 2021 at 20:01)</a>:</h4>
<p>I wonder if it's worth splitting the <code>F-type_alias_impl_trait</code> label on github?</p>



<a name="244338734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338734">(Jun 29 2021 at 20:01)</a>:</h4>
<p>I started writing the <a href="https://hackmd.io/o9KO-D8aSb6bJgQ1froVTA">stabilization report</a></p>



<a name="244338771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338771">(Jun 29 2021 at 20:01)</a>:</h4>
<p>one thing I would like is someone to reconcile my list of tests</p>



<a name="244338776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338776">(Jun 29 2021 at 20:01)</a>:</h4>
<p>with what exists</p>



<a name="244338783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244338783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244338783">(Jun 29 2021 at 20:01)</a>:</h4>
<p>I should file an issue on that</p>



<a name="244339012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339012">(Jun 29 2021 at 20:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244338718">said</a>:</p>
<blockquote>
<p>I wonder if it's worth splitting the <code>F-type_alias_impl_trait</code> label on github?</p>
</blockquote>
<p>perhaps</p>



<a name="244339037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339037">(Jun 29 2021 at 20:03)</a>:</h4>
<p>you had this "impl trait traige notes" I've been meanign to go through</p>



<a name="244339050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339050">(Jun 29 2021 at 20:03)</a>:</h4>
<p>I should do that once and for all</p>



<a name="244339071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339071">(Jun 29 2021 at 20:03)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="244339121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339121">(Jun 29 2021 at 20:03)</a>:</h4>
<p>ah yeah, that exists too</p>



<a name="244339280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339280">(Jun 29 2021 at 20:04)</a>:</h4>
<p>Filed <a href="https://github.com/rust-lang/rust/issues/86727">https://github.com/rust-lang/rust/issues/86727</a></p>



<a name="244339351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339351">(Jun 29 2021 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> expressed interest in <a href="https://github.com/rust-lang/rust/issues/86411">#86411</a></p>



<a name="244339366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339366">(Jun 29 2021 at 20:05)</a>:</h4>
<p>I'm going to add the "we want help" label</p>



<a name="244339377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339377">(Jun 29 2021 at 20:05)</a>:</h4>
<p>I forget the exact one</p>



<a name="244339385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339385">(Jun 29 2021 at 20:05)</a>:</h4>
<p>I'm going to assign that to them and leave some mentoring notes</p>



<a name="244339440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339440">(Jun 29 2021 at 20:05)</a>:</h4>
<p>E-help-wanted</p>



<a name="244339645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339645">(Jun 29 2021 at 20:06)</a>:</h4>
<p>the other project board is the "path to shared types" board <a href="https://github.com/rust-lang/wg-traits/projects/5">https://github.com/rust-lang/wg-traits/projects/5</a></p>



<a name="244339755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339755">(Jun 29 2021 at 20:07)</a>:</h4>
<p>I'm going to add <span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span>'s PR <a href="https://github.com/rust-lang/rust/issues/86435">#86435</a> to the board</p>



<a name="244339798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339798">(Jun 29 2021 at 20:07)</a>:</h4>
<p>this stuff is very helpful for me :)</p>



<a name="244339924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339924">(Jun 29 2021 at 20:08)</a>:</h4>
<p>not sure if we want to directly link <a href="https://github.com/rust-lang/rust/issues/85469">#85469</a></p>



<a name="244339961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339961">(Jun 29 2021 at 20:08)</a>:</h4>
<p>and <a href="https://github.com/rust-lang/chalk/issues/709">chalk#709</a></p>



<a name="244339975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339975">(Jun 29 2021 at 20:08)</a>:</h4>
<p>define "directly link"?</p>



<a name="244339995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244339995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244339995">(Jun 29 2021 at 20:08)</a>:</h4>
<p>oh, like add the PRs to the board?</p>



<a name="244340011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340011">(Jun 29 2021 at 20:09)</a>:</h4>
<p>I think it's good, I added a column "needs review"</p>



<a name="244340068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340068">(Jun 29 2021 at 20:09)</a>:</h4>
<p>yeah</p>



<a name="244340135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340135">(Jun 29 2021 at 20:09)</a>:</h4>
<p>Those two are just waiting on fixing the perf regression</p>



<a name="244340203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340203">(Jun 29 2021 at 20:10)</a>:</h4>
<p>But the implementation is good enough imo</p>



<a name="244340228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340228">(Jun 29 2021 at 20:10)</a>:</h4>
<p>it's straightforward</p>



<a name="244340296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340296">(Jun 29 2021 at 20:10)</a>:</h4>
<p>ok</p>



<a name="244340568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340568">(Jun 29 2021 at 20:12)</a>:</h4>
<p>My plan is to investigate that one potential issue with <a href="https://github.com/rust-lang/rust/issues/85499">#85499</a></p>



<a name="244340602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340602">(Jun 29 2021 at 20:12)</a>:</h4>
<p>And probably in the meantime start looking at the other couple GAT issues</p>



<a name="244340644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340644">(Jun 29 2021 at 20:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244340568">said</a>:</p>
<blockquote>
<p>My plan is to investigate that one potential issue with <a href="https://github.com/rust-lang/rust/issues/85499">#85499</a></p>
</blockquote>
<p>which potential issue exactly?</p>



<a name="244340647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340647">(Jun 29 2021 at 20:13)</a>:</h4>
<p>is this what you linked to?</p>



<a name="244340723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340723">(Jun 29 2021 at 20:14)</a>:</h4>
<p>yes</p>



<a name="244340793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340793">(Jun 29 2021 at 20:14)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/85499#issuecomment-870183541">https://github.com/rust-lang/rust/pull/85499#issuecomment-870183541</a></p>



<a name="244340849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340849">(Jun 29 2021 at 20:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I have <a href="https://github.com/rust-lang/rust/issues/86410">#86410</a> which I need to finish (check the <a href="#narrow/stream/144729-wg-traits/topic/taits.20deconstruction.20ICE">zulip topic</a> if you have time) and <a href="https://github.com/rust-lang/rust/issues/86411">#86411</a> that I'm starting today</p>



<a name="244340879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340879">(Jun 29 2021 at 20:14)</a>:</h4>
<p>ohh, I saw you assigned that one to <span class="user-mention" data-user-id="116113">@lqd</span></p>



<a name="244340916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340916">(Jun 29 2021 at 20:15)</a>:</h4>
<p>cool, then I can have a well deserved rest <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="244340990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340990">(Jun 29 2021 at 20:15)</a>:</h4>
<p>there are other issues :P</p>



<a name="244340995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244340995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244340995">(Jun 29 2021 at 20:15)</a>:</h4>
<p>seriously ... I would need other tasks :)</p>



<a name="244341181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341181">(Jun 29 2021 at 20:16)</a>:</h4>
<p>hm, so <a href="https://github.com/rust-lang/rust/issues/86218">https://github.com/rust-lang/rust/issues/86218</a> is assigned to <span class="user-mention" data-user-id="328097">@BN</span></p>



<a name="244341210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341210">(Jun 29 2021 at 20:16)</a>:</h4>
<p>So, I'm looking through <code>F-type_alias_impl_trait</code> issues</p>



<a name="244341231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341231">(Jun 29 2021 at 20:17)</a>:</h4>
<p>and there are multiple unsound issues</p>



<a name="244341238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341238">(Jun 29 2021 at 20:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <a href="https://github.com/rust-lang/rust/issues/86727">https://github.com/rust-lang/rust/issues/86727</a> might be a good candidate</p>



<a name="244341245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341245">(Jun 29 2021 at 20:17)</a>:</h4>
<p>that are reproducible with min</p>



<a name="244341256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341256">(Jun 29 2021 at 20:17)</a>:</h4>
<p>that we aren't tracking</p>



<a name="244341291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341291">(Jun 29 2021 at 20:17)</a>:</h4>
<p>Hmm, ok, we should add them :)</p>



<a name="244341338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341338">(Jun 29 2021 at 20:17)</a>:</h4>
<p>seems like we need to do a full sweep of those issues</p>



<a name="244341356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341356">(Jun 29 2021 at 20:18)</a>:</h4>
<p>e.g. <a href="https://github.com/rust-lang/rust/issues/84660">#84660</a></p>



<a name="244341393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341393">(Jun 29 2021 at 20:18)</a>:</h4>
<p>and we probably should split the labels</p>



<a name="244341426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341426">(Jun 29 2021 at 20:18)</a>:</h4>
<p>Yes, I'm voting for that</p>



<a name="244341435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341435">(Jun 29 2021 at 20:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244341238">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="https://github.com/rust-lang/rust/issues/86727">https://github.com/rust-lang/rust/issues/86727</a> might be a good candidate</p>
</blockquote>
<p>the idea is to add the tests that you used in the stabilization report example? and add to the report the ones that already exist in the test suite?</p>



<a name="244341452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341452">(Jun 29 2021 at 20:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244341356">said</a>:</p>
<blockquote>
<p>e.g. <a href="https://github.com/rust-lang/rust/issues/84660">#84660</a></p>
</blockquote>
<p>that is a duplicate</p>



<a name="244341461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341461">(Jun 29 2021 at 20:18)</a>:</h4>
<p>or well, the ones that make sense</p>



<a name="244341481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341481">(Jun 29 2021 at 20:18)</a>:</h4>
<p>but still good to be tracking it, obviously</p>



<a name="244341488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341488">(Jun 29 2021 at 20:18)</a>:</h4>
<p>not filling with a ton of repeated tests or examples</p>



<a name="244341558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341558">(Jun 29 2021 at 20:19)</a>:</h4>
<p><a href="https://hackmd.io/o9KO-D8aSb6bJgQ1froVTA?view#Test-cases">so I wrote a list of tests here</a></p>



<a name="244341588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341588">(Jun 29 2021 at 20:19)</a>:</h4>
<p>this is basically me going through all the scenarios I can think of</p>



<a name="244341595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341595">(Jun 29 2021 at 20:19)</a>:</h4>
<p>I'm not sure which subset of these tests exist :(</p>



<a name="244341605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341605">(Jun 29 2021 at 20:19)</a>:</h4>
<p>in the future, we should write up this document when we <em>implement</em> the feature in the first place</p>



<a name="244341659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341659">(Jun 29 2021 at 20:20)</a>:</h4>
<p>hehe right :)</p>



<a name="244341750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341750">(Jun 29 2021 at 20:20)</a>:</h4>
<p>but yeah, I guess you meant to also check tests to see if there is something missing in the report, right?</p>



<a name="244341776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341776">(Jun 29 2021 at 20:20)</a>:</h4>
<p>most likely is that we would need to add from the report to the test suite</p>



<a name="244341784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341784">(Jun 29 2021 at 20:20)</a>:</h4>
<p>I guess :)</p>



<a name="244341877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341877">(Jun 29 2021 at 20:21)</a>:</h4>
<p>no</p>



<a name="244341891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341891">(Jun 29 2021 at 20:21)</a>:</h4>
<p>I mean that would be ok</p>



<a name="244341927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341927">(Jun 29 2021 at 20:21)</a>:</h4>
<p>but the list of tests in the report isn't, to me, meant to be complete and exhaustive</p>



<a name="244341993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244341993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244341993">(Jun 29 2021 at 20:22)</a>:</h4>
<p>it's just meant to show that these are some of the corner cases that are tested and that we have "good enough" coverage</p>



<a name="244342058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342058">(Jun 29 2021 at 20:22)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="244342161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342161">(Jun 29 2021 at 20:23)</a>:</h4>
<p>Do we have some tracking issue or something for diagnostics of "this isn't allowed with <code>min_type_alias_impl_trait</code>, you must use <code>type_alias_impl_trait</code>"</p>



<a name="244342168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342168">(Jun 29 2021 at 20:23)</a>:</h4>
<p>(<a href="https://github.com/rust-lang/rust/issues/84660">#84660</a> looks like <a href="https://github.com/rust-lang/rust/issues/86411">#86411</a>)</p>



<a name="244342226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342226">(Jun 29 2021 at 20:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244342161">said</a>:</p>
<blockquote>
<p>Do we have some tracking issue or something for diagnostics of "this isn't allowed with <code>min_type_alias_impl_trait</code>, you must use <code>type_alias_impl_trait</code>"</p>
</blockquote>
<p>don't think so</p>



<a name="244342257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342257">(Jun 29 2021 at 20:24)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> are you relabeling things?</p>



<a name="244342354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342354">(Jun 29 2021 at 20:24)</a>:</h4>
<p>I think of like <a href="https://github.com/rust-lang/rust/issues/64445">#64445</a>, which is a case we don't want to cover for min, but currently doesn't give a feature gate error</p>



<a name="244342361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342361">(Jun 29 2021 at 20:24)</a>:</h4>
<p>not yet</p>



<a name="244342367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342367">(Jun 29 2021 at 20:24)</a>:</h4>
<p>I can</p>



<a name="244342394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342394">(Jun 29 2021 at 20:24)</a>:</h4>
<p>I'm going to add the label</p>



<a name="244342461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342461">(Jun 29 2021 at 20:25)</a>:</h4>
<p>done</p>



<a name="244342484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342484">(Jun 29 2021 at 20:25)</a>:</h4>
<p>I'll start relabeling</p>



<a name="244342491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342491">(Jun 29 2021 at 20:25)</a>:</h4>
<p>I'll start from the end</p>



<a name="244342495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342495">(Jun 29 2021 at 20:25)</a>:</h4>
<p>you start from the front :)</p>



<a name="244342868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342868">(Jun 29 2021 at 20:28)</a>:</h4>
<p>Okay, so how do we want to label things like <a href="https://github.com/rust-lang/rust/issues/86201">#86201</a></p>



<a name="244342888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342888">(Jun 29 2021 at 20:28)</a>:</h4>
<p>where we don't want to accept this under min</p>



<a name="244342921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342921">(Jun 29 2021 at 20:28)</a>:</h4>
<p>hmm so</p>



<a name="244342959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342959">(Jun 29 2021 at 20:29)</a>:</h4>
<p>if it requires the feature gate, seems fine</p>



<a name="244342967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342967">(Jun 29 2021 at 20:29)</a>:</h4>
<p>that said</p>



<a name="244342988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342988">(Jun 29 2021 at 20:29)</a>:</h4>
<p>I have been floating the idea of removing the "impl trait in let bindings" code</p>



<a name="244342992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244342992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244342992">(Jun 29 2021 at 20:29)</a>:</h4>
<p>and I think w should do it</p>



<a name="244343007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343007">(Jun 29 2021 at 20:29)</a>:</h4>
<p>so many ICEs and thing are due to that code, which is .. just wrong</p>



<a name="244343032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343032">(Jun 29 2021 at 20:29)</a>:</h4>
<p>I am thinking we should make an issue for it</p>



<a name="244343042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343042">(Jun 29 2021 at 20:29)</a>:</h4>
<p>(also <a href="https://github.com/rust-lang/rust/issues/86719">#86719</a>)</p>



<a name="244343053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343053">(Jun 29 2021 at 20:29)</a>:</h4>
<p>I think that's reasonable</p>



<a name="244343078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343078">(Jun 29 2021 at 20:30)</a>:</h4>
<p>also, we need a <code>F-impl_trait_in_bindings</code> label, don't we?</p>



<a name="244343081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343081">(Jun 29 2021 at 20:30)</a>:</h4>
<p>(I don't know how much code is there though)</p>



<a name="244343127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343127">(Jun 29 2021 at 20:30)</a>:</h4>
<p>not that much</p>



<a name="244343152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343152">(Jun 29 2021 at 20:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244343078">said</a>:</p>
<blockquote>
<p>also, we need a <code>F-impl_trait_in_bindings</code> label, don't we?</p>
</blockquote>
<p>there is one, right?</p>



<a name="244343164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343164">(Jun 29 2021 at 20:30)</a>:</h4>
<p>yes</p>



<a name="244343183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343183">(Jun 29 2021 at 20:30)</a>:</h4>
<p>huh, why didn't it come up for me</p>



<a name="244343315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343315">(Jun 29 2021 at 20:31)</a>:</h4>
<p>but let's remove that code</p>



<a name="244343321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343321">(Jun 29 2021 at 20:31)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AF-type_alias_impl_trait">https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AF-type_alias_impl_trait</a></p>



<a name="244343325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343325">(Jun 29 2021 at 20:31)</a>:</h4>
<p>I'm sick of trying to work around it</p>



<a name="244343501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343501">(Jun 29 2021 at 20:32)</a>:</h4>
<p>makes sense</p>



<a name="244343504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343504">(Jun 29 2021 at 20:32)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/86729">https://github.com/rust-lang/rust/issues/86729</a></p>



<a name="244343526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343526">(Jun 29 2021 at 20:32)</a>:</h4>
<p>I'll add it t the project board, <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> tht's another one you could do :)</p>



<a name="244343566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343566">(Jun 29 2021 at 20:32)</a>:</h4>
<p>if <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> doesn't want it, I might just do it</p>



<a name="244343581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343581">(Jun 29 2021 at 20:33)</a>:</h4>
<p>but I should probably stick to GATs</p>



<a name="244343591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343591">(Jun 29 2021 at 20:33)</a>:</h4>
<p>for now at least</p>



<a name="244343806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244343806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244343806">(Jun 29 2021 at 20:34)</a>:</h4>
<p>yeah I can do it, assigned to myself</p>



<a name="244344090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344090">(Jun 29 2021 at 20:36)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244342959">said</a>:</p>
<blockquote>
<p>if it requires the feature gate, seems fine</p>
</blockquote>
<p>requires <code>min_type_alias_impl_trait</code>?</p>



<a name="244344190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344190">(Jun 29 2021 at 20:37)</a>:</h4>
<p>Like, for code that we should be giving a "you need <code>type_alias_impl_trait</code>" error for, but currently doesn't say that with <code>min_type_alias_impl_trait</code>, should we keep that as the full label, or min</p>



<a name="244344242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344242">(Jun 29 2021 at 20:37)</a>:</h4>
<p>So, I want to test "what happens when we stabilize <code>min_type_alias_impl_trait</code></p>



<a name="244344256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344256">(Jun 29 2021 at 20:37)</a>:</h4>
<p>so the test is: what does the compiler do with just that one feature gate?</p>



<a name="244344268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344268">(Jun 29 2021 at 20:37)</a>:</h4>
<p>if it errors, ICEs, etc, that's a relevant bug</p>



<a name="244344349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344349">(Jun 29 2021 at 20:38)</a>:</h4>
<p>Okay</p>



<a name="244344416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344416">(Jun 29 2021 at 20:39)</a>:</h4>
<p>I think maybe we should also include <code>type_alias_impl_trait</code> <em>too</em>. Since that's what feature gate it <em>should</em> be under?</p>



<a name="244344710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344710">(Jun 29 2021 at 20:41)</a>:</h4>
<p>I'm generally including both</p>



<a name="244344726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344726">(Jun 29 2021 at 20:41)</a>:</h4>
<p>partly because I'm too lazy to remove the label</p>



<a name="244344894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344894">(Jun 29 2021 at 20:42)</a>:</h4>
<p>Oops lol</p>



<a name="244344941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244344941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244344941">(Jun 29 2021 at 20:43)</a>:</h4>
<p>I've been removing the <code>type_alias_impl_trait</code> label if it's something that should only need min</p>



<a name="244345033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345033">(Jun 29 2021 at 20:44)</a>:</h4>
<p>I can go back and cleanup</p>



<a name="244345156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345156">(Jun 29 2021 at 20:45)</a>:</h4>
<p>I guess there are more blockers than I thought :)</p>



<a name="244345261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345261">(Jun 29 2021 at 20:46)</a>:</h4>
<p>:/</p>



<a name="244345268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345268">(Jun 29 2021 at 20:46)</a>:</h4>
<p>that's kind of what I figured</p>



<a name="244345374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345374">(Jun 29 2021 at 20:47)</a>:</h4>
<p>that's what my triage found</p>



<a name="244345391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345391">(Jun 29 2021 at 20:47)</a>:</h4>
<p>though, I think that was before we decided on min</p>



<a name="244345593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244345593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244345593">(Jun 29 2021 at 20:48)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/77989">#77989</a> is actually an example that works now with min that shouldn't</p>



<a name="244346029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346029">(Jun 29 2021 at 20:52)</a>:</h4>
<p>I think the min feature gate is not covering all the cases it should</p>



<a name="244346046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346046">(Jun 29 2021 at 20:52)</a>:</h4>
<p>I'm not 100% sure if that case should work :)</p>



<a name="244346055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346055">(Jun 29 2021 at 20:52)</a>:</h4>
<p>I feel like <code>type_alias_impl_trait</code> should imply <code>min_type_alias_impl_trait</code>. But that doesn't seem to be the case</p>



<a name="244346072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346072">(Jun 29 2021 at 20:52)</a>:</h4>
<p>I don't think that's the case</p>



<a name="244346081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346081">(Jun 29 2021 at 20:52)</a>:</h4>
<p>but that's ok</p>



<a name="244346098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346098">(Jun 29 2021 at 20:52)</a>:</h4>
<p>we don't normally do that (have one feature gate imply another)</p>



<a name="244346133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346133">(Jun 29 2021 at 20:53)</a>:</h4>
<p>hmm</p>



<a name="244346139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346139">(Jun 29 2021 at 20:53)</a>:</h4>
<p>I feel like <code>const X: Foo</code> could be considered a defining use for min</p>



<a name="244346168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346168">(Jun 29 2021 at 20:53)</a>:</h4>
<p>though if so, we'd have to test it</p>



<a name="244346173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346173">(Jun 29 2021 at 20:53)</a>:</h4>
<p>I thought <code>const_generics</code> implied <code>min_const_generics</code></p>



<a name="244346205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346205">(Jun 29 2021 at 20:53)</a>:</h4>
<p>(obviously not relevant anymore, but same idea)</p>



<a name="244346382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346382">(Jun 29 2021 at 20:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244346139">said</a>:</p>
<blockquote>
<p>I feel like <code>const X: Foo</code> could be considered a defining use for min</p>
</blockquote>
<p>I think that's fairly reasonable</p>



<a name="244346486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346486">(Jun 29 2021 at 20:56)</a>:</h4>
<p>but wait, that's covered under <code>impl_trait_in_bindings</code>?</p>



<a name="244346579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346579">(Jun 29 2021 at 20:56)</a>:</h4>
<p><a href="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=13c29cc430243c5ec8cff2cd80e7737b">https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=13c29cc430243c5ec8cff2cd80e7737b</a></p>



<a name="244346841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346841">(Jun 29 2021 at 20:58)</a>:</h4>
<p>I don't really see why it is, but it seems to be</p>



<a name="244346865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346865">(Jun 29 2021 at 20:58)</a>:</h4>
<p>I mean I can see why in some sense</p>



<a name="244346873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346873">(Jun 29 2021 at 20:59)</a>:</h4>
<p>const is a binding</p>



<a name="244346890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346890">(Jun 29 2021 at 20:59)</a>:</h4>
<p>I just wrote <a href="https://github.com/rust-lang/rust/issues/77989#issuecomment-870912121">something similar here</a></p>



<a name="244346917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244346917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244346917">(Jun 29 2021 at 20:59)</a>:</h4>
<p>I think we should exclude it from <code>min_type_alias_impl_trait</code>, but it seems like the bug is that we don't have enough tests for that feature gate, which is kind of covered by my stabilization report tests</p>



<a name="244347050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347050">(Jun 29 2021 at 21:00)</a>:</h4>
<p>for <a href="https://github.com/rust-lang/rust/issues/77989">#77989</a>, we just shouldn't be accepting it in min (at least unless we decide we want)</p>



<a name="244347067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347067">(Jun 29 2021 at 21:00)</a>:</h4>
<p>but otherwise, I think we can accept it</p>



<a name="244347372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347372">(Jun 29 2021 at 21:03)</a>:</h4>
<p>I think I'm going to close <a href="https://github.com/rust-lang/rust/issues/63205">https://github.com/rust-lang/rust/issues/63205</a></p>



<a name="244347376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347376">(Jun 29 2021 at 21:03)</a>:</h4>
<p>Investigate diagnostics regarding type alias impl Trait <a href="https://github.com/rust-lang/rust/issues/63205">#63205</a></p>



<a name="244347383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347383">(Jun 29 2021 at 21:03)</a>:</h4>
<p>but I think we should add that into the stabilization report to be covered</p>



<a name="244347403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347403">(Jun 29 2021 at 21:03)</a>:</h4>
<p>or maybe I'll just repurpose the issue to say "add discussion of diagnostics to stablization report"</p>



<a name="244347959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244347959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244347959">(Jun 29 2021 at 21:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244346098">said</a>:</p>
<blockquote>
<p>we don't normally do that (have one feature gate imply another)</p>
</blockquote>
<p>So, is this not something you think we should do? (was I wrong about <code>const_generics</code>/<code>min_const_generics</code>)</p>



<a name="244348108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348108">(Jun 29 2021 at 21:09)</a>:</h4>
<p>I don't know what we did there</p>



<a name="244348124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348124">(Jun 29 2021 at 21:09)</a>:</h4>
<p>I don't have a strong opinion</p>



<a name="244348427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348427">(Jun 29 2021 at 21:12)</a>:</h4>
<p>My reasoning is that <code>type_alias_impl_trait</code> is a superset of min, so the single feature should also be a superset</p>



<a name="244348484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348484">(Jun 29 2021 at 21:12)</a>:</h4>
<p>I understand :)</p>



<a name="244348496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348496">(Jun 29 2021 at 21:12)</a>:</h4>
<p>I just don't really care one way or the other</p>



<a name="244348503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348503">(Jun 29 2021 at 21:12)</a>:</h4>
<p>I'm not <em>opposed</em></p>



<a name="244348504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348504">(Jun 29 2021 at 21:12)</a>:</h4>
<p>it makes it a bit more clear what's going on if something fails with <code>type_alias_impl_trait</code> but not <code>min_type_alias_impl_trait</code></p>



<a name="244348526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348526">(Jun 29 2021 at 21:12)</a>:</h4>
<p>I might make a PR at some point</p>



<a name="244348543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348543">(Jun 29 2021 at 21:12)</a>:</h4>
<p>I agree it's logical</p>



<a name="244348622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348622">(Jun 29 2021 at 21:13)</a>:</h4>
<p>If I see a repro with both features, but it's really not a problem with min, then do we really need a min label? But the feature is active</p>



<a name="244348631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348631">(Jun 29 2021 at 21:13)</a>:</h4>
<p>so I'm filing new issues when I see issues that are based around <code>impl Trait</code> appearing somewhere that <code>min_type_alias_impl_trait</code> ought not to permit it</p>



<a name="244348635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348635">(Jun 29 2021 at 21:13)</a>:</h4>
<p>it seems that check is missing a ton of cases</p>



<a name="244348646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244348646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244348646">(Jun 29 2021 at 21:13)</a>:</h4>
<p>I see your point</p>



<a name="244349131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349131">(Jun 29 2021 at 21:17)</a>:</h4>
<p>I wish there was a better repro for <a href="https://github.com/rust-lang/rust/issues/69785">#69785</a></p>



<a name="244349168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349168">(Jun 29 2021 at 21:17)</a>:</h4>
<p>It probably triggers with min, but can't confirm quickly</p>



<a name="244349657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349657">(Jun 29 2021 at 21:21)</a>:</h4>
<p>Oh, I see. So you're <em>only</em> filing issues, not relabeling</p>



<a name="244349706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349706">(Jun 29 2021 at 21:22)</a>:</h4>
<p>well</p>



<a name="244349725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349725">(Jun 29 2021 at 21:22)</a>:</h4>
<p>I'm relabeling if the issue applies to min</p>



<a name="244349753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349753">(Jun 29 2021 at 21:22)</a>:</h4>
<p>but if there are two issues:</p>
<ul>
<li>min should exclude this</li>
<li>and if you <em>don't</em> use min, then it's wrong</li>
</ul>
<p>then I opened a new issue for the first point</p>



<a name="244349817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349817">(Jun 29 2021 at 21:23)</a>:</h4>
<p>can the second point only apply?</p>



<a name="244349836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349836">(Jun 29 2021 at 21:23)</a>:</h4>
<p>if min excludes it, sure</p>



<a name="244349847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349847">(Jun 29 2021 at 21:23)</a>:</h4>
<p>i.e., if the behavior with just min is an error like "this needs feature gate X"</p>



<a name="244349849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349849">(Jun 29 2021 at 21:23)</a>:</h4>
<p>that seems ok</p>



<a name="244349944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349944">(Jun 29 2021 at 21:24)</a>:</h4>
<p>okay</p>



<a name="244349972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349972">(Jun 29 2021 at 21:24)</a>:</h4>
<p>what do you mean "applied to min"</p>



<a name="244349988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244349988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244349988">(Jun 29 2021 at 21:24)</a>:</h4>
<p>Like, it <em>should</em> work with min?</p>



<a name="244350052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350052">(Jun 29 2021 at 21:25)</a>:</h4>
<p>Or there is an error with min <em>and</em> full</p>



<a name="244350068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350068">(Jun 29 2021 at 21:25)</a>:</h4>
<p>so e.g. this issue <a href="https://github.com/rust-lang/rust/issues/69137">https://github.com/rust-lang/rust/issues/69137</a></p>



<a name="244350083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350083">(Jun 29 2021 at 21:25)</a>:</h4>
<p>I removed the <code>F-min</code> that you added because</p>



<a name="244350092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350092">(Jun 29 2021 at 21:25)</a>:</h4>
<p>I think the example should be illegal under <code>F-min</code></p>



<a name="244350158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350158">(Jun 29 2021 at 21:26)</a>:</h4>
<p>but if you use the more maximal version, I'm not sure what the expected behavior is :)</p>



<a name="244350168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350168">(Jun 29 2021 at 21:26)</a>:</h4>
<p>I hvaen't read it closely enough</p>



<a name="244350208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350208">(Jun 29 2021 at 21:26)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-06-29/near/244349972">said</a>:</p>
<blockquote>
<p>what do you mean "applied to min"</p>
</blockquote>
<p>right</p>



<a name="244350218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350218">(Jun 29 2021 at 21:26)</a>:</h4>
<p>Okay this is what I would expect</p>



<a name="244350225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350225">(Jun 29 2021 at 21:26)</a>:</h4>
<p>and I mislabeled a bunch</p>



<a name="244350229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350229">(Jun 29 2021 at 21:26)</a>:</h4>
<p>whoops</p>



<a name="244350268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350268">(Jun 29 2021 at 21:27)</a>:</h4>
<p>so, if this is a case where the TAIT is only used in a "Defining use" position (i.e., included in min) but the behaviro is incorrect, that "applies to min"</p>



<a name="244350297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350297">(Jun 29 2021 at 21:27)</a>:</h4>
<p>it's ok, I think we've covered them all</p>



<a name="244350310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350310">(Jun 29 2021 at 21:27)</a>:</h4>
<p>so now we need another pass over T-min-type-alias-impl-trait</p>



<a name="244350332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350332">(Jun 29 2021 at 21:27)</a>:</h4>
<p>to decide if they are covered by "should be an error", basically, right?</p>



<a name="244350420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350420">(Jun 29 2021 at 21:28)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/86719">https://github.com/rust-lang/rust/issues/86719</a> &lt;-- this, for example, seems legit</p>



<a name="244350445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244350445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244350445">(Jun 29 2021 at 21:28)</a>:</h4>
<p>that is, it applies to min</p>



<a name="244351154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-06-29/near/244351154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-06-29.html#244351154">(Jun 29 2021 at 21:35)</a>:</h4>
<p>Yes</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>